#include<stdio.h>
main()
{
int i;
for(i=100;i>=0;i= i-7)
printf("%d\n",i);
}
/* output
100
93
86
79
72
65
58
51
44
37
30
23
16
9
2
*/
